Abelian 群
Abelian group。可換群
アーベル群 - Wikipedia
abelian group in nLab
群
$ (G,+_{:G\times G\to G},0_{\in G},-_{:G\to G})
が
可換律
$ a+b=b+a
を滿たすならば
Abelian 群
と呼ぶ
Abelian 群
と整數環
$ \Z
上の
加群
は同値
$ n_{\in\Z}
に對して scalar 乘法を
$ nx:=x+x+...+x
、
$ (-n)x:=-(nx)
と定めれば、任意の
Abelian 群
を整數環
$ \Z
上の
加群
にできる
逆に整數環
$ \Z
上の
加群
は
Abelian 群
である
Abelian 群の圈
$ \bf Ab
アーベル群の圏 - Wikipedia
Ab in nLab
Abelian 圈